val + : int * int -> int
infixr 5 ::
infix 6 +
